Languages and Programming - PDFSEARCH.IO - Document Search Engine

Languages and Programming
Results: 5418

#	Item
261	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
262	Introducing Java 8 A Quick-Start Guide to Lambdas and Streams Raoul-Gabriel Urma Add to Reading List Source URL: www.oreilly.com Language: English - Date: 2015-09-14 11:14:06 Cross-platform software Concurrent programming languages Data types Java platform Object-oriented programming languages Java C Sharp Anonymous function Tea Go String
263	Archetypal Source Code Searches: A Survey of Software Developers and Maintainers Susan Elliott Sim Dept. of Computer Science University of Toronto Toronto, Ontario, Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 1999-09-14 13:34:44 Scripting languages Variable Functional languages Object-oriented programming languages Cross-platform software Scala Environment variable Find Regular expression Global variable AWK Include directive
264	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad
265	A case study in software for artists: Max/MSP and Pd Miller Puckette Department of Music University of California, San Diego Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2016-07-05 14:25:13 Visual programming languages Software synthesizers Computer science Computing Software Application software Pure Data Max Free software
266	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
267	Computer Methods and Programs in Biomedicine– 236 www.elsevier.com/locate/cmpb Software design for analysis of multichannel intracardial and body surface electrocardiograms Mark Potse a,, Andre´ C. Linn Add to Reading List Source URL: www.potse.nl Language: English* - Date: 2002-08-28 05:51:18 Computer programming Software Visual programming languages Mathematical software Cross-platform software Software documentation Literate programming Documentation generator Wolfram Mathematica Event Computing User interface
268	Announcements • Set up your computer and all accounts (Lab 0) by today • Add to Reading List Source URL: cs61a.org Language: English Subroutines Functional programming Control flow Eval Functional languages Monad Operator User-defined function Parameter Closure Anonymous function
269	Research in Computer Science Code Formatting for TinyOS in Eclipse Jianyuan Li Advisor Benjamin Sigg Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:58 Source code Cross-platform software Procedural programming languages Indent style Programming style TinyOS C D Bracket Line wrap and word wrap Prettyprint Off-side rule
270	Programming for Parallelism and Locality with Hierarchically Tiled Arrays Gheorghe Almasi† , Add to Reading List Source URL: polaris.cs.uiuc.edu Language: English - Date: 2006-03-20 17:33:54 Parallel computing Array programming languages HTML Application MATLAB Array programming Fortran Array data type Array data structure Data parallelism Task parallelism ZPL

UPDATE